module filesystem

// オブジェクト
abstract sig Object {}

// ディレクトリ
sig Directory extends Object { 
	contents: set Object
}

// ルートディレクトリ
one sig Root extends Directory{}

// ファイル
sig File extends Object {}

// エイリアス(リンク)
sig Alias extends File {
	to : Object
}

pred show{}
run show
